projects / emacs.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d22e747) | patch
Fix some mistaken shell delinting
authorPaul Eggert <eggert@cs.ucla.edu>
Fri, 1 Jan 2021 09:12:04 +0000 (01:12 -0800)
committerPaul Eggert <eggert@cs.ucla.edu>
Fri, 1 Jan 2021 09:12:04 +0000 (01:12 -0800)
commit841e40db5458555c952257a42eaca4a51dfefdae
tree4e9fa74bc192ff3edc87c7f2ae7bf62f8082f268tree | snapshot
parentd22e74795d8c6aeb3af64e2af8a8f3d96924f6f1commit | diff
Fix some mistaken shell delinting

* admin/merge-gnulib, admin/update-copyright, make-dist:
Revert recent mistaken changes that were put in merely to
pacify a shellcheck linter.
admin/merge-gnulib diff | blob | history
admin/update-copyright diff | blob | history
make-dist diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.